Towards the integration of functions, relations and types in an AI programming language

This paper describes the design and implementation of the programming language PC-Life. This language integrates the functional and the Logic-oriented programming style and feature types supporting inheritance. This combination yields a language particularly suited to knowledge representation, especially for application in computational linguistics

Optimization of Band Gap and Thickness for the Development of Efficient n-i-p+ Solar Cell

By using an electrical-optical AMPS-1D program (One Dimensional Analysis of Microelectronic and Photonic structures), a n-i-p type solar cell, based on hydrogenated amorphous silicon (a-Si : H) and hydrogenated nanocrystalline silicon oxide (nc-SiOx : H) has been investigated and simulated. The numerical analysis describes the modeling of the external cell performances, like, the short-circuit current (JSC), the open circuit voltage (VOC), the fill factor (FF) and efficiency (Eff) with the oxygen content in the p-ncSiOx : H window layer by varying its mobility band gap (Eg) associated simultaneously to the effect of the absorber layer (i-a-Si : H) thickness. Also, the i-a-Si : H absorber layer band gap was optimized. The simulation result shows that the VOC depend strongly on the band offset (ΔEV) in valence band of p-side. But, VOC does not depend on the thickness of the intrinsic layer. However, VOC increases when the energy band gap of the intrinsic layer is higher. It is demonstrated that the highest efficiency of 10.44 % (JSC = 11.67 mA/cm2; FF = 0.829; VOC = 1070 mV) has been obtained when values of p-nc-SiOx : H window layer band gap, i-a-Si : H absorber layer band gap and i-a-Si : H absorber layer thickness are 2.10 eV, 1.86 eV, and 550 nm, respectively

Optimization of Band Gap and Thickness for the Development of Efficient n-i-p+ Solar Cell

By using an electrical-optical AMPS-1D program (One Dimensional Analysis of Microelectronic and Photonic structures), a n-i-p type solar cell, based on hydrogenated amorphous silicon (a-Si : H) and hydrogenated nanocrystalline silicon oxide (nc-SiOx : H) has been investigated and simulated. The numerical analysis describes the modeling of the external cell performances, like, the short-circuit current (JSC), the open circuit voltage (VOC), the fill factor (FF) and efficiency (Eff) with the oxygen content in the p-ncSiOx : H window layer by varying its mobility band gap (Eg) associated simultaneously to the effect of the absorber layer (i-a-Si : H) thickness. Also, the i-a-Si : H absorber layer band gap was optimized. The simulation result shows that the VOC depend strongly on the band offset (ΔEV) in valence band of p-side. But, VOC does not depend on the thickness of the intrinsic layer. However, VOC increases when the energy band gap of the intrinsic layer is higher. It is demonstrated that the highest efficiency of 10.44 % (JSC = 11.67 mA/cm2; FF = 0.829; VOC = 1070 mV) has been obtained when values of p-nc-SiOx : H window layer band gap, i-a-Si : H absorber layer band gap and i-a-Si : H absorber layer thickness are 2.10 eV, 1.86 eV, and 550 nm, respectively

Rare event sampling with stochastic growth algorithms

We discuss uniform sampling algorithms that are based on stochastic growth methods, using sampling of extreme configurations of polymers in simple lattice models as a motivation. We shall show how a series of clever enhancements to a fifty-odd year old algorithm, the Rosenbluth method, led to a cutting-edge algorithm capable of uniform sampling of equilibrium statistical mechanical systems of polymers in situations where competing algorithms failed to perform well. Examples range from collapsed homo-polymers near sticky surfaces to models of protein folding.Comment: First International Conference on Numerical Physic

Electrical properties of short period InAs/GaSb superlattice

International audienc

TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

The Compressive Strength of High-Performance Concrete and Ultrahigh-Performance

The compressive strength of silica fume concretes was investigated at low water-cementitious materials ratios with a naphthalene sulphonate superplasticizer. The results show that partial cement replacement up to 20% produce, higher compressive strengths than control concretes, nevertheless the strength gain is less than 15%. In this paper we propose a model to evaluate the compressive strength of silica fume concrete at any time. The model is related to the water-cementitious materials and silica-cement ratios. Taking into account the author's and other researchers’ experimental data, the accuracy of the proposed model is better than 5%